- конструктивная бесконечность
- constructive infinity
Русско-английский технический словарь.
Русско-английский технический словарь.
МАТЕМАТИЧЕСКАЯ БЕСКОНЕЧНОСТЬ — общее название разл. реализаций идеи бесконечности в математике. Хотя между значениями понятия М. б. и др. значениями, в к рых употребляется термин бесконечность , нет жесткой границы (поскольку все эти понятия в конечном счете отражают весьма… … Философская энциклопедия
БЕСКОНЕЧНОЕ И КОНЕЧНОЕ — филос. категории, отображающие противоположные, но взаимосвязанные стороны существования и развития материального мира в пространстве и времени. В отличие от конечного (К.), присущего отдельным вещам, состояниям, процессам и формам движения,… … Философская энциклопедия
Математика — Евклид. Деталь «Афинской школы» Рафаэля Математика (от др. греч … Википедия
КОНСТРУКТИВИЗМ (математический) — направление в метаматематике и построенные на его основе математические теории (конструктивная логика, конструктивная теория множеств, арифметика, анализ и т. д. и т. п.). Возникло в 40 50 е гг. XX в. в СССР как результат «скрещивания» основных… … Философия науки: Словарь основных терминов
Математический интуиционизм — философско математическое течение, отвергающее теоретико множественную трактовку математики и считающее интуицию единственным источником математики и главным критерием строгости её построений. Восходящая к античной математике… … Большая советская энциклопедия
Множеств теория — учение об общих свойствах множеств, преимущественно бесконечных. Понятие множества, или совокупности, принадлежит к числу простейших математических понятий; оно не определяется, но может быть пояснено при помощи примеров. Так, можно… … Большая советская энциклопедия
Форма музыкальная — (греч. morpn, лат. forma вид, образ, очертания, внешность, красота; нем. Form, франц. forme, итал. forma, англ. form, shape). Содержание I. Значение термина. Этимология 875 II. Форма и содержание. Общие принципы… … Музыкальная энциклопедия
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия
ФИЛОСОФИЯ — (от греч. phileo люблю, sophia мудрость, philosophia любовь к мудрости) особая форма общественного сознания и познания мира, вырабатывающая систему знаний о фундаментальных принципах и основах человеческого бытия, о наиболее общих сущностных… … Философская энциклопедия
ПРЕДСТАВЛЕНИЕ — образ раннее воспринятого предмета или явления (П. памяти, воспоминание), а также образ, созданный продуктивным воображением; форма чувств. отражения в виде нагляднообразного знания. В отличие от восприятия П. поднимается над непо средств … Философская энциклопедия